#include <stdio.h>

void main(void)
{
	char * ss = "01234567890";
}
